Open Multi-Agent Systems With Discrete States and Stochastic Interactions
نویسندگان
چکیده
منابع مشابه
Runnable Specifications of Interactions for Open Multi-Agent Systems
Designing distributed systems is hard, designing open distributed systems is even harder. Several approaches are competiting : from object oriented technologies and Web Services to agent oriented technologies and Agent Communication Languages. We think that these approaches should be thought as complementary and useful at different levels. In this paper, our work is focused on the notion of int...
متن کاملRegulating Open Multi-Agent Systems with DynaCROM
This paper presents our ongoing work for dynamic contextual regulations in open multi-agent systems – called DynaCROM. DynaCROM is a straightforward method to smoothly apply and manage regulations in open multi-agent systems, enforcing customized compositions of contextual laws. DynaCROM is based on a top-down modeling of contextual laws, on a normative meta-ontology for laws semantics and on a...
متن کاملMULTI-AGENT SYSTEMS MULTI-AGENT SYSTEMS MULTI-AGENT GAMES Rational and Convergent Learning in Stochastic Games
This paper investigates the problem of policy learn-ing in multiagent environments using the stochasticgame framework, which we briefly overview. Weintroduce two properties as desirable for a learningagent when in the presence of other learning agents,namely rationality and convergence. We examineexisting reinforcement learning algorithms accord-ing to these two prop...
متن کاملInstitutionalizing Open Multi-Agent Systems
In this paper we argue that open agent organisations can be effectively designed and implemented as institutionalised electronic organisations (electronic institutions) composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of illocutions. Here we present the principal components that define an electronic institution.
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Control Systems Letters
سال: 2018
ISSN: 2475-1456
DOI: 10.1109/lcsys.2018.2840431